-
1 логические переменные
логические переменные
Знаки и формулы, которые могут принимать различные значения в зависимости от содержания обозначаемых ими высказываний. Подробнее см. Логические операции.
[ http://slovar-lopatnikov.ru/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > логические переменные
-
2 переменная
ж. variableсвободная переменная — unrestricted variable; free variable
Синонимический ряд:неустойчиво (прил.) изменчиво; капризно; непостоянно; неустойчиво; переменчиво -
3 переменная
* * *переме́нная ж.
variableпереме́нная вхо́дит (напр. в уравнение) то́лько раз — the variable appears at most once
(за)менять переме́нную (в полино́ме) — make a change in variable in a polynomialпереме́нные легко́ разделя́ются — the variables are readily separableопределя́ть переме́нную на интерва́ле — define a variable on [over] an intervalотраба́тывать переме́нную — operate on a variableприсва́ивать значе́ние переме́нной — assign a value to a variableразделя́ть переме́нные — separate the variablesста́вить переме́нную в соотве́тствие величине́ — assign a value to a variableвходна́я переме́нная — input variableвыходна́я переме́нная — output variableдвои́чная переме́нная — binary variableдво́йственная переме́нная ( в противопоставление с оптимизируемой переменной) — dual variableдействи́тельная переме́нная — real variableзави́симая переме́нная — dependent variableзна́ковая переме́нная — character variableпереме́нная интегри́рования — integration variable, variable of integrationко́мплексная переме́нная — complex variableлоги́ческая переме́нная — logical variableмаши́нная переме́нная — machine variableмодели́руемая переме́нная — problem variableмодели́рующая переме́нная — analog, representationнезави́симая переме́нная — independent variable, argumentпереме́нная, опи́сывающая за́пись — record variableразделя́емая переме́нная — separable variableрегули́руемая переме́нная — controlled variableсвобо́дная переме́нная — unrestricted variable; ( в математической логике) free variableсвя́занная переме́нная — bound variableслуча́йная переме́нная — random variableпереме́нная ти́па строка́ вчт. — string variableпереме́нная ти́па указа́тель вчт. — pointer variableуправля́емая переме́нная — controlled variableуправля́ющая переме́нная автмт. — manipulated variableфикти́вная переме́нная — dummy variable -
4 логическая переменная
1. Boolean variable2. logical variable3. logic variableРусско-английский большой базовый словарь > логическая переменная
См. также в других словарях:
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Logical symbols — Reading logical symbolism frightens many people more than it should. The very term symbolic logic sounds terrifying, and the presence of even a small amount of symbolism may deter many readers from otherwise perfectly intelligible texts. The… … Philosophy dictionary
Logical NOR — This article is about NOR in the logical sense. For the electronic gate, see NOR gate. For other uses, see Nor. Venn diagram of In boolean logic, logical nor or joint denial is a truth functional operator which produces a result that is the… … Wikipedia
Logical form — The form or logical form of an argument is the representation of its sentences using the formal grammar and symbolism of a logical system to display its similarity with all other arguments of the same type.It consists of stripping out all… … Wikipedia
logical quantifier — noun (logic) a word (such as some or all or no ) that binds the variables in a logical proposition • Syn: ↑quantifier • Topics: ↑logic • Hypernyms: ↑word … Useful english dictionary
logical universals — A term sometimes applied in the secondary literature to the major analytical concepts in the writings of Talcott Parsons : that is, the pattern variables, systems problems, and evolutionary universals (all of which are discussed separately in… … Dictionary of sociology
Non-logical symbol — In logic, the formal languages used to create expressions consist of symbols which can be broadly divided into constants and variables. The constants of a language can further be divided into logical symbols and non logical symbols (sometimes… … Wikipedia
Free variables and bound variables — In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation that specifies places in an expression where substitution may take place. The idea is related to … Wikipedia
Sensory Logical Introvert — The Sensory Logical Introvert, SLI, ISTp, the Craftsman, Jean Gabin, or types. The Sensory Logical Introvert is an irrational, introverted, dynamic type whose leading functions are introverted sensing and extroverted logic.Model A Ego block 1.… … Wikipedia
function, logical — In logic and mathematics a function, also known as a map or mapping, is a relation that associates members of one class X with some unique member y of another class Y. The association is written as y = f(x ). The class X is called the domain of… … Philosophy dictionary
Atomic sentence — In logic, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example The dog… … Wikipedia